Exercises: Serre’s reduction
نویسنده
چکیده
4. Describe the D-module extD(M,D) in terms of generators and relations. 5. Prove that extD(M,D) is a 1-dimensional Q(a, k, ω, ζ)-vector space. Give a basis ρ(Λ) of extD(M,D), where ρ : D 3 −→ D3/(RD4) denotes the canonical projection. 6. Deduce that ρ(Λ) generates extD(M,D), i.e., ext 1 D(M,D) is a cyclic D-module. 7. Consider the matrix P = (R − Λ) ∈ D3×5. Show that P admits a left-inverse over D defined by:
منابع مشابه
Isomorphisms and Serre’s reduction of linear systems
In this paper, we give an explicit characterization of isomorphic finitely presented modules in terms of certain inflations of their presentation matrices. In particular cases, this result yields a characterization of isomorphic modules as the completion problem characterizing Serre’s reduction, i.e., of the possibility to find a presentation of the module defined by fewer generators and fewer ...
متن کاملProving Serre’s modularity conjecture via Sophie Germain primes
In this article we give a proof of Serre’s conjecture for the cases of odd conductor and even conductor semistable at 2, and arbitrary weight. Our proof in both cases will be unconditional: in particular, it will not depend on any yet unproved generalization of Kisin’s modularity lifting results to characteristic 2 (moreover, we will not consider at all characteristic 2 representations in any s...
متن کاملSerre’s reduction of linear partial differential systems based on holonomy
Given a linear functional system (e.g., an ordinary/partial differential system), Serre’s reduction aims at finding an equivalent linear functional system which contains fewer equations and fewer unknowns. The purpose of this paper is to study Serre’s reduction of underdetermined linear systems of partial differential equations with analytic coefficients whose formal adjoints are holonomic in t...
متن کاملSerre's Reduction of Linear Functional Systems
Serre’s reduction aims at reducing the number of unknowns and equations of a linear functional system (e.g., system of partial differential equations, system of differential time-delay equations, system of difference equations). Finding an equivalent representation of a linear functional system containing fewer equations and fewer unknowns generally simplifies the study of its structural proper...
متن کاملIsomorphisms and Serre’s reduction of linear functional systems
Within the algebraic analysis approach to linear systems theory, a behaviour is the dual of the left module finitely presented by the matrix of functional operators defining the linear functional system. In this talk, we give an explicit characterization of isomorphic finitely presented modules, i.e., of isomorphic behaviours, in terms of certain inflations of their presentation matrices. Fitti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009